Supersonic là một hệ thống Zero-Knowledge Proofs (bằng chứng không có kiến thức) đáng tin cậy có thể giúp các nền tảng DeFi, vì sự tin tưởng của bên thứ ba không cần thiết để đảm bảo quyền riêng tư.
Trong một cuộc phỏng vấn tại Hội nghị Blockchain Stanford vào ngày 19/2, Tiến sĩ mật mã của Đại học Stanford. sinh viên Ben Fisch đã mô tả Supersonic là một hệ thống Zero-Knowledge Proofs đáng tin cậy, còn được gọi là zk-SNARK .
Fisch đã giúp tạo ra một hệ thống Zero-Knowledge Proofs (bằng chứng không có kiến thức) đáng tin cậy được thiết kế đặc biệt cho tài chính phi tập trung (Decentralized Finance – DeFi).
1. Tin cậy so với Zero-Knowledge Proofs đáng tin cậy
Trong khi các hệ thống Zero-knowledge proof là cần thiết để bảo vệ quyền riêng tư trên các mạng blockchain, hầu hết tất cả đều yêu cầu thiết lập đáng tin cậy. Fisch nói, “Điều này có nghĩa là người dùng công cụ bảo mật phải tin tưởng bên thứ ba để định cấu hình hệ thống đúng cách.”
Ví dụ: tiền kỹ thuật số tập trung vào quyền riêng tư Zcash ( ZEC ) tận dụng zk-SNARK để cho phép người dùng trao đổi thông tin mà không tiết lộ danh tính của họ. Điều này có nghĩa là chuỗi khối của Zcash chỉ hiển thị những giao dịch nào đã diễn ra, chứ không phải ai đã tham gia và số tiền được trao đổi.
Mặc dù điều này đảm bảo quyền riêng tư và tính minh bạch của mạng lưới blockchain của Zcash, Fisch lưu ý rằng Zcash dựa trên một zk-SNARK được thiết lập đáng tin cậy có tên là Groth-16. Ông giải thích rằng các thiết lập đáng tin cậy như thế này có thể làm tổn hại đến lòng tin của công chúng đối với hệ thống:
“Đặc biệt, các hệ thống kiểm chứng kiến thức bằng không liên quan đến một số con số được tạo ngẫu nhiên. Thiết lập đáng tin cậy có nghĩa là bên thứ ba phải được tin cậy để tạo ra những con số này một cách chính xác và giữ bí mật (tức là loại bỏ bí mật và phá hủy mọi dấu vết để không ai phát hiện ra chúng trong tương lai). Nếu các bí mật bị lộ thì bảo mật của hệ thống bằng chứng không-biết sẽ bị tổn hại. ”
Fisch lưu ý thêm rằng sự tin tưởng có thể được lan truyền qua một ủy ban cộng tác trong các hệ thống thiết lập đáng tin cậy. Điều này có nghĩa là miễn là một bên tiết lộ bí mật của riêng họ một cách hợp lý, hệ thống có thể được coi là an toàn.
Mặc dù điều này đã được thực hiện nhiều lần thông qua các “buổi lễ” hợp tác, Fisch cho biết việc làm lại điều này cho mọi ứng dụng mới yêu cầu zk-SNARK là không thực tế. “Điều này có thể hiểu được vì trước năm ngoái không có zk-SNARK thiết lập phổ quát hoặc thiết lập không tin cậy thực tế nào.”
Tiến sĩ Stanford sinh viên Benedikt Bünz, người đồng tác giả một bài báo về mật mã và tiền điện tử với Fisch, nói với Cointelegraph rằng không giống như các hệ thống thiết lập đáng tin cậy, Supersonic hoàn toàn không yêu cầu sự tin tưởng từ các bên thứ ba. Bünz giải thích:
“Trong một thiết lập đáng tin cậy, người (hoặc những người) thực hiện việc này có thể chứng minh rằng một giao dịch không hợp lệ là hợp lệ. Trong tiền điện tử, điều này có thể được sử dụng để tạo ra tiền từ không khí mỏng. Các bằng chứng trước đây không có thiết lập đáng tin cậy có kích thước hàng trăm kilobyte hoặc không có thuộc tính khả năng mở rộng ”
2. Zero-Knowledge Proofs đáng tin cậy dành cho DeFi
Theo Fisch, một zk-SNARK không đáng tin cậy như Supersonic là một bước đột phá lớn trong lĩnh vực tiền mã hóa trong năm ngoái, đặc biệt là khi các ứng dụng tài chính phi tập trung đạt được sức hút . Fisch giải thích rằng trong khi blockchain hứa hẹn cho các hệ thống tài chính trở nên cởi mở và minh bạch hơn để ngăn chặn các âm mưu Ponzi và hoạt động gian lận, thì quyền riêng tư thường bị phá hủy hoàn toàn.
Fisch lưu ý rằng Findora, công ty đứng sau Supersonic, chủ yếu nhắm vào các trường hợp sử dụng tài chính để mang lại sự phân cấp và minh bạch cho các công ty yêu cầu quyền riêng tư, chẳng hạn như ngân hàng. Anh ấy nói:
“Nhiều doanh nghiệp có thể hưởng lợi từ blockchain mà không cần phân cấp ngay lập tức, nhưng có một lợi ích là có một mạng lưới tài chính phi tập trung đáng tin cậy có khả năng kết nối các dịch vụ và cá nhân sử dụng cùng một cơ sở hạ tầng.”
Ví dụ, Fisch lưu ý rằng một hệ thống cho vay ngang hàng có trụ sở tại Trung Quốc và Hoa Kỳ có thể chạy trên blockchain của Findora. Ông giải thích rằng thương mại có thể chạy giữa hai hệ thống với một giao thức đồng thuận tạo điều kiện thuận lợi cho mọi người sử dụng cả hai mạng trong khi Supersonic đảm bảo sự tin cậy.
Tuy nhiên, điều quan trọng là phải chỉ ra rằng các hệ thống thiết lập đáng tin cậy không hiệu quả bằng các hệ thống thiết lập không tin cậy. Fisch nhận xét rằng hiệu suất của Supersonic kém hơn khoảng 10 lần so với các hệ thống thiết lập đáng tin cậy, cả về kích thước bằng chứng và thời gian tính toán.
Điều này là do một trong những thành phần quan trọng của Supersonic là một công cụ mật mã được gọi là “Nhóm thứ tự không xác định”. Fisch nói thêm rằng một GUO mới đã được công bố gần đây, nói thêm rằng “nếu chúng tôi sử dụng công cụ GUO mới này thay vì công cụ chúng tôi hiện đang sử dụng, thì điều này sẽ thu hẹp khoảng cách hiệu suất cả về kích thước và thời gian.”
Bất kể hiệu suất hiện tại của nó như thế nào, Bünz đã đề cập rằng Supersonic đã gây chú ý trong các dự án DeFi sắp tới như ETH 2.0 , lưu ý rằng công cụ cơ bản được sử dụng trong Supersonic cũng giống như trong các chức năng trì hoãn có thể xác minh:
“VDFs là một công cụ mật mã có thể được sử dụng để tạo ra sự ngẫu nhiên hoàn hảo, điều này cần thiết cho các mạng bằng chứng cổ phần. VDF sẽ được sử dụng trong ETH 2.0. Đã có rất nhiều đầu tư vào việc xây dựng phần cứng và phần mềm hỗ trợ tốt cho các VDF. ”
Gần đây, người đồng sáng lập Ethereum, Vitalik Buterin, đã chú ý nhiều hơn đến các giải pháp quyền riêng tư. Khi được hỏi về Supersonic, Buterin nói rằng “Supersonic là một giải pháp rất tốt cho vấn đề mà nó đang cố gắng giải quyết.”
